x86: drop setup_idle_pagetable()
authorJan Beulich <jbeulich@suse.com>
Wed, 12 Jun 2013 15:27:08 +0000 (17:27 +0200)
committerJan Beulich <jbeulich@suse.com>
Wed, 12 Jun 2013 15:27:08 +0000 (17:27 +0200)
commitfd0b06689555be4855b9a70c4f4995e623168e94
tree9f05609829e9b88ddf5e9b9a263e4a0bad755c4e
parent4015145b148121d9647d8a2abe897aabb7197c95
x86: drop setup_idle_pagetable()

With vcpu->domain->arch.perdomain_l3_pg no longer getting set up for
the idle domain, this creates an invalid L4 entry (due to translating
a NULL struct page_info pointer to a physical address).

Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Keir Fraser <keir@xen.org>
Reviewed-by: Andrew Cooper <andrew.cooper3@citrix.com>
Acked-by: George Dunlap <george.dunlap@eu.citrix.com>
xen/arch/x86/setup.c
xen/arch/x86/x86_64/mm.c
xen/include/asm-x86/page.h